Skip to content

Modernize GitHub Actions workflow for docs.#16

Merged
1uc merged 2 commits intomainfrom
1uc/docs
Mar 2, 2025
Merged

Modernize GitHub Actions workflow for docs.#16
1uc merged 2 commits intomainfrom
1uc/docs

Conversation

@1uc
Copy link
Copy Markdown
Contributor

@1uc 1uc commented Mar 2, 2025

Prefer "official" actions over community provided ones.

Prefer "official" actions over community provided ones.
@1uc 1uc linked an issue Mar 2, 2025 that may be closed by this pull request
@1uc 1uc changed the title feat: Modernize GitHub Actions workflow for docs. Modernize GitHub Actions workflow for docs. Mar 2, 2025
@1uc 1uc marked this pull request as ready for review March 2, 2025 12:25
Copy link
Copy Markdown
Collaborator

@matz-e matz-e left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Very nice!

Comment thread .github/workflows/gh-pages.yml
@1uc 1uc merged commit 583ad56 into main Mar 2, 2025
35 checks passed
@1uc 1uc deleted the 1uc/docs branch March 2, 2025 20:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Publish docs for v3.

2 participants